Add EDT Emulation manual.
authorJuanma Barranquero <lekktu@gmail.com>
Tue, 15 Dec 2009 03:35:31 +0000 (03:35 +0000)
committerJuanma Barranquero <lekktu@gmail.com>
Tue, 15 Dec 2009 03:35:31 +0000 (03:35 +0000)
commitf7b9d825d9ca8827b19e1cf3e5601aa060eff429
tree7272db6142276da3848fe1bb5df58416b92dd8d7
parent13f2f33d8572a76a3585ec2527687b8c994444a1
Add EDT Emulation manual.

* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add edt.
  ($(infodir)/edt, edt.dvi): New targets.
doc/misc/ChangeLog
doc/misc/makefile.w32-in